Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
991	PMON+: A Fluent Logic for Action and Change Formal Specication, Version 1.0 Patrick Doherty Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:04 Model theory Interpretation Philosophy of language Philosophy of mind Semantics Term Axiom Function Type theory Logic Mathematics Mathematical logic
992	Four-valued Extension of Rough Sets? Aida Vit´oria1 , Andrzej Szałas2,3 , and Jan Małuszy´nski3 1 3 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:22:37 Theoretical computer science Rough set Function Sheaf Multivalued function Many-valued logic Forcing Boolean-valued model Dominance-based rough set approach Mathematics Functions and mappings Mathematical logic
993	General Domain Circumscription and its First-Order Reduction Patrick Doherty1? , Witold L ukaszewicz2?? , Andrzej Szalas2??? 1 Department of Computer and Information Science, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:10:24 Mathematics Interpretation Function Circumscription Skolem normal form Predicate variable Second-order logic Mathematical logic Logic Model theory
994	Declarative PTIME Queries to Relational Databases Patrick Doherty Witold Lukaszewicz March 9, 2001 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:09:00 Query languages Formal languages Programming paradigms Model theory Datalog FO Well-formed formula Function Interpretation Logic Mathematics Mathematical logic
995	Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:34:48 Logic Structure Interpretation Function Relational database First-order logic FO Constructible universe Golden ratio Mathematics Mathematical logic Model theory
996	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
997	Journal of Automated Reasoning, 18, 297{[removed]) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Computing Circumscription Revisited: A Reduction Algorithm Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:57:57 Predicate logic Model theory Formal languages Circumscription Logic programming Atomic formula Function Monadic predicate calculus Predicate variable Logic Mathematical logic Mathematics
998	On Mutual Understanding among Communicating Agents⋆ Patrick Doherty1, Witold Łukaszewicz1,2 , and Andrzej Szałas1,2 1 Department of Computer Science, University of Link¨oping, Sweden, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:52:30 Model theory Formal languages First-order logic Predicate logic Function Constructible universe Ontology Characteristic function Golden ratio Logic Mathematics Mathematical logic
999	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
1000	Computing Circumscription Revisited: A Reduction Algorithm Patrick Doherty and Witold. L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:59 Predicate logic Model theory Formal languages Circumscription Logic programming Well-formed formula Monadic predicate calculus Atomic formula Function Logic Mathematical logic Mathematics

UPDATE